Stochastic Ambient Logic
نویسنده
چکیده
We introduce the Stochastic Ambient Logic which extends the Ambient Logic with the probability operator and the steady state operator. The logic is useful for specifying properties of the Stochastic Mobile Ambients [14].
منابع مشابه
On the Expressiveness of the Ambient Logic
The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semistructured data. In this paper, we study the expressiveness of AL. We define formulas for capabilities and for communication in MA. We also derive some formulas that capture finitess of a term, name occurrences and persistence....
متن کاملOutput-only modal parameter identification of civil engineering structures
The ambient vibration measurement is a kind of output data-only dynamic testing where the traffics and winds are used as agents responsible for natural or environmental excitation. Therefore an experimental modal analysis procedure for ambient vibration testing will need to base itself on output-only data. The modal analysis involving output-only measurements present a challenge that requires t...
متن کاملImprovement of the decentralized random decrement technique in wireless sensor networks
Random Decrement Technique (RDT) based decentralized computing approaches implemented in wireless sensor networks (WSNs) have shown advantages for modal parameters and data aggregation identification. However, previous studies of RDT-based approaches from ambient vibration data have usually assumed that the input excitation is a broad-band stochastic process modeled by stationary white or filte...
متن کاملApplication of Wireless Monitoring System for the Ambient Vibration Study of the WuYuan Steel Arch Bridge
In this paper, the academic wireless monitoring system with smart sensing units developed at Stanford University and Michigan University is applied for the ambient vibration study of a steel arch bridge in Xiamen, China. Ambient acceleration responses of the bridge measured by the wireless sensing units are compared with those collected by a traditional wire-based data acquisition system. Clock...
متن کاملA Propositional Branching Temporal Logic for the Ambient Calculus
We advocate the use of a CTL* logic, built upon the Ambient Calculus in dealing with mobile computing phenomena. Our logic is a more expressive alternative to Ambient Logic, based on a single modality, but still powerful enough to handle mobility and dynamic hierarchies of locations. In applications, the possibility of expressing path properties of computation together with state properties ope...
متن کامل